Remove old TODO item - user-error was added
authorGlenn Morris <rgm@gnu.org>
Fri, 8 Feb 2013 17:14:58 +0000 (09:14 -0800)
committerGlenn Morris <rgm@gnu.org>
Fri, 8 Feb 2013 17:14:58 +0000 (09:14 -0800)
commitff8e5790b6bd91fc99352c86fa3a16c5b069e621
tree4a5f52b98a893bc471ac0f62c4c8a74562766d6d
parent05a54bab162f1f2d0a2c6152b239aec2aa51d287
Remove old TODO item - user-error was added
etc/TODO